Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
511	ThEdu Preface This volume contains the papers presented at ThEdu’13: International Workshop on Theorem Proving Components for Educational Software held on July 10, 2013 in Bath, UK. There were 2 submissions. Each submi Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-10 05:43:59 Automated theorem proving Proof assistant University of Coimbra
512	Escape to ATP for Mizar Piotr Rudnicki∗ Josef Urban† University of Alberta Add to Reading List Source URL: pxtp2011.loria.fr Language: English - Date: 2011-08-12 05:51:25 Formal methods Automated theorem proving Mizar system QED manifesto Proof assistant Automated proof checking Automated reasoning Mizar and Alcor Mizar Theoretical computer science Mathematics Applied mathematics
513	Temporal Action Logic for Question Answering in an Adventure Game Martin MAGNUSSON and Patrick DOHERTY Department of Computer and Information Science Linköping University, [removed]Linköping, Sweden E-mail: {marma,patdo} Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:37:07 Reasoning Epistemology Artificial intelligence Knowledge representation Logic programming Automated theorem proving Reason Frame problem Natural deduction Logic Mathematical logic Science
514	Conflict-Guided Simplification for SAT Michael L. Case1,2 , Sanjit A. Seshia1 , Alan Mishchenko1 , and Robert K. Brayton1 1 2 Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2008-01-31 13:42:07 Logic in computer science NP-complete problems Automated theorem proving Constraint programming Electronic design automation Boolean satisfiability problem Resolution Conjunctive normal form Satisfiability Modulo Theories Theoretical computer science Mathematics Applied mathematics
515	Verifying space and time requirements for resource-bounded agents Natasha Alechina a Mark Jago a Piergiorgio Bertoli b Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-01-13 12:43:20 Logical truth Reasoning Automated theorem proving Logic programming Substitution Inference Logic Mathematical logic Propositional calculus
516	Logical Agents for Language and Action∗ Martin Magnusson and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden [removed],[removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:35:13 Mathematics Artificial intelligence Logic in computer science Deduction Reasoning Reasoning system Fluent Magni Frame problem Automated theorem proving Science Logic
517	Comirit: Commonsense Reasoning by Integrating Simulation and Logic Benjamin JOHNSTON and Mary-Anne WILLIAMS Faculty of Information Technology, University of Technology, Sydney, Australia Abstract. Rich computer simulatio Add to Reading List Source URL: comirit.com Language: English - Date: 2012-04-27 22:26:08 Reasoning Automated theorem proving Artificial intelligence Non-classical logic Knowledge representation Method of analytic tableaux Reasoning system Semantic reasoner First-order logic Logic Mathematical logic Science
518	A Mechanized Program Verifier J Strother Moore1 Department of Computer Sciences, University of Texas at Austin, Austin, Texas 78712, USA [removed], WWW home page: http://cs.utexas.edu/users/moore Add to Reading List Source URL: vstte.inf.ethz.ch Language: English - Date: 2005-03-23 00:34:24 Automated theorem proving Formal methods Lisp programming language Model theory ACL2 Nqthm Proof assistant Formal verification J Strother Moore Logic Mathematics Theoretical computer science
519	On Resolution Proofs for Combinational Equivalence Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-07-30 11:55:07 Automated theorem proving Boolean algebra Propositional calculus Predicate logic Resolution Unit propagation Mathematical proof Davis–Putnam algorithm NP Logic Mathematical logic Mathematics
520	QAPL[removed]Verification of Resource Requirements of Distributed Reasoning Agents 1 Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib2 School of Computer Science Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-06-18 10:10:29 Logic Automated theorem proving Agent-based model Complex systems theory Reasoning system Model checking Epistemic modal logic Algorithm Artificial intelligence Science Multi-agent systems

UPDATE